Electronic design automation - PDFSEARCH.IO - Document Search Engine

Electronic design automation
Results: 1598

#	Item
371	ChipDesigner% CUPL compatible $BIT Window NT based EDA Tool for Programmable Logic Logical Devices. Inc. announces a new fully integrated design tool for PLD and FPGA’s for the Windows NT platform Add to Reading List Source URL: www.logicaldevice.com Language: English - Date: 2013-08-02 21:36:02 Electronic design Field-programmable gate array OrCAD Logic synthesis Application-specific integrated circuit VHDL Programmable logic device Advanced Boolean Expression Language Electronic engineering Electronic design automation Hardware description languages
372	Interactive High Speed Option Support for High Speed Designs Constraints Driven Design Rules Differential Pair Routing Add to Reading List Source URL: www.pulsonix.com Language: English - Date: 2013-08-20 05:26:24 Design rule checking Differential pair Electronic engineering Electronic design automation Routing
373	VLSI Micro-Architectures for High-Radix Crossbar Schedulers Giorgos Passas, Manolis Katevenis, Dionisios Pnevmatikatos presentation by Giorgos Passas FORTH & Univ. of Crete, Greece Add to Reading List Source URL: www.ics.forth.gr Language: English - Date: 2014-02-26 11:54:20 Network On Chip Scheduling Giorgos Electronics Scheduling algorithms Electronic engineering Electronic design automation
374	Datasheet IC Validator Overview IC Validator is a signoff DRC / LVS Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2015-04-22 17:53:38 Design Signoff Design rule checking Integrated circuit layout Physical design Design closure Tape-out Synopsys Physical verification Electronic engineering Electronic design automation Electronic design
375	Introduction and Evaluation Guide 2 Pulsonix Tutorial Copyright Notice Add to Reading List Source URL: www.pulsonix.com Language: English - Date: 2014-04-16 05:20:16 User interface techniques Electronic design automation Schematic capture PCB Computer keyboard Printed circuit board Keyboard shortcut Start menu KiCAD Electronic engineering Software Electronics
376	1 Efficient Reasoning about Data Trees via Integer Linear Programming CLAIRE DAVID, Universit´e Paris-Est LEONID LIBKIN, University of Edinburgh TONY TAN, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-04-27 14:06:25 Electronic design automation Formal methods Logic in computer science NP-complete problems Complexity classes Satisfiability Modulo Theories Symbol Boolean satisfiability problem P-complete Theoretical computer science Computational complexity theory Applied mathematics
377	Quantum3D Press Contact Natalie Pridham, x.2976, Quantum3D Contact Pratish Shah Add to Reading List Source URL: www.quantum3d.com Language: English - Date: 2013-02-14 20:02:20 Digital electronics Electronic design automation Simulation Logic simulation Electronic engineering Nvidia Quantum3D
378	The Phase Transition in Exact Cover Vamsi Kalapala∗ and Cristopher Moore∗,† {vamsi,moore}@cs.unm.edu, ∗ Department of Computer Science, University of New Mexico Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2008-10-23 11:39:06 Automated theorem proving NP-complete problems Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation Resolution Unit propagation Constraint satisfaction Theoretical computer science Mathematics Applied mathematics
379	w h i t e p a p e r Using Design Automation to Reduce Costs, Increase Profitability Add to Reading List Source URL: www.egs.co.in Language: English - Date: 2010-04-18 07:34:57 3D graphics software Electronic design SolidWorks Industrial design Automation Computer-aided design DriveWorks Integrated circuit design Packaging and labeling Design Electronic engineering Technology
380	Datasheet QuickCap NX 3D Field Solver Overview Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2014-11-07 14:32:38 Electronics Parasitic extraction NX Synopsys Multigate device Parasitic capacitance Netlist Capacitance Simucad Electronic engineering Electronic design automation Electromagnetism

UPDATE